1. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Automatic theorem proving,Data processing ، Mathematics
رده :
QA
76
.
L28
Vol
.
90
2. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Automatic theorem proving,Data processing ، Mathematics
رده :
QA
76
.
9
.
A96
.
S36
1980
3. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Automatic theorem proving,، Mathematics - Data processing
رده :
QA
76
.
L4
v
.
90
